def f1(a : t1) -> r1: ...
def f2(*a : t2) -> r2: ...

